causal{-}weak{-}predecessor(${\it es}$;$p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:E. ($\uparrow$can{-}apply($p$;$e$)) $\Rightarrow$ do{-}apply($p$;$e$) c$\leq$ $e$